A reactive and hybrid constraint solver
نویسندگان
چکیده
A reactive and hybrid constraint solver Eric Monfroy a b , Carlos Castro c , Broderick Crawford d , Ricardo Soto d e , Fernando Paredes f & Christian Figueroa g a Departemento de Informática , Universidad Técnica Federico Santa María , Av. España 1680, Valparaíso, Av. Chile b Département d'Informatique , Université de Nantes , France c Departemento de Informética , UTFSM , Valparaíso , Chile d Escuela de Ingeniería Informática , Pontificia Universidad Católica de Valparaíso , Chile e Universidad Autónoma de Chile , Chile f Escuela de Ingeniería Industrial , Universidad Diego Portales , Santiago , Chile g Zeke, Viña del Mar , Chile Published online: 02 Feb 2012.
منابع مشابه
A Hybrid BDD and SAT Finite Domain Constraint Solver
Finite-domain constraint solvers based on Binary Decision Diagrams (BDDs) are a powerful technique for solving constraint problems over finite set and integer variables represented as Boolean formulæ. Boolean Satisfiability (SAT) solvers are another form of constraint solver that operate on constraints on Boolean variables expressed in clausal form. Modern SAT solvers have highly optimized prop...
متن کاملStrategies for the Efficient Solution of Hybrid Constraint Logic Programs
Meta-S is a system for defining the cooperation and coordination of constraint solvers to attack hybrid constraint problems. The integration of a logic programming language into this system by considering the language evaluation mechanism resolution as constraint solver yields a CLP language with support for solver cooperation. Using the strategy definition framework of Meta-S we define classic...
متن کاملSimulation of Strap-On Boosters Separation in the Atmosphere
A numerical dynamic-aerodynamic interface for simulating the separation dynamics of constrained strap-on boosters jettisoned in the atmosphere is presented. A 6-DOF multi body dynamic solver ،using Constraint Force Equation Methodology is coupled with a numerical time dependent Euler flow solver. An automatic dynamic mesh updating procedure is employed using smoothing and l...
متن کاملThe OTI Constraint Solver: A Constraint Library for Constructing Interactive Graphical User Interfaces
ENVY/Constraints is an IBM/Smalltalk library that provides a constraint satisser and a collection of useful constraints, targeted at developing interactive graphical user interfaces. The solver supports multi-way constraints and constraint hierarchies. It uses a hybrid algorithm, combining local propagation with pluggable cycle solvers, allowing constraints to range over arbitrary objects, whil...
متن کاملA Logic-Based Hybrid Solver for Optimal Control of Hybrid Systems
Combinatorial optimization over continuous and integer variables was proposed recently as an useful tool for solving complex optimal control problems for linear hybrid dynamical systems formulated in discretetime. Current approaches are based on mixed-integer linear/quadratic programming (MIP), which provides the solution after solving a sequence of relaxed standard linear (or quadratic) progra...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Exp. Theor. Artif. Intell.
دوره 25 شماره
صفحات -
تاریخ انتشار 2013